Existence and comparison theorems for algebraic Riccati equations for continuous- and discrete-time systems

Transformations Between Discrete-time and Continuous-time Algebraic Riccati Equations

We introduce a transformation between the discrete-time and continuoustime algebraic Riccati equations. We show that under mild conditions the two algebraic Riccati equations can be transformed from one to another, and both algebraic Riccati equations share common Hermitian solutions. The transformation also sets up the relations about the properties, commonly in system and control setting, tha...

Analytical and Verified Numerical Results Concerning Interval Continuous-time Algebraic Riccati Equations

This paper focuses on studying the interval continuous-time algebraic Riccati equation A∗X + XA + Q − XGX = 0, both from the theoretical aspects and the computational ones. In theoretical parts, we show that Shary’s results for interval linear systems can only be partially generalized to this interval Riccati matrix equation. We then derive an efficient technique for enclosing the united stable...

Discrete Time H∞ Algebraic Riccati Equations

existence and approximate $l^{p}$ and continuous solution of nonlinear integral equations of the hammerstein and volterra types

بسیاری از پدیده ها در جهان ما اساساً غیرخطی هستند، و توسط معادلات غیرخطی ‎‏بیان شد‎‎‏ه اند. از آنجا که ظهور کامپیوترهای رقمی با عملکرد بالا، حل مسایل خطی را آسان تر می کند. با این حال، به طور کلی به دست آوردن جوابهای دقیق از مسایل غیرخطی دشوار است. روش عددی، به طور کلی محاسبه پیچیده مسایل غیرخطی را اداره می کند. با این حال، دادن نقاط به یک منحنی و به دست آوردن منحنی کامل که اغلب پرهزینه و ...

Methods for Verified Solutions to Continuous-time Algebraic Riccati Equations

We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuoustime algebraic Riccati equation A∗X + XA + Q = XGX, building on the work of [B. Hashemi, SCAN 2012] and adding several modifications to the Krawczyk procedure. Moreover, we describe a new O(n) direct method for verification, based on a fixed-point formulation of the e...